[网络] 证明;概率验证模型;概率可验证证明 proofs: 证明human checkable: 人工可检测machine checkable: 机器可检测direct proofs: 直接证据foundry proofs: 铸版前的清样下载手机词典可随时随地查词查翻译